1. Formal methods and hybrid real-time systems
پدیدآورنده : Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Bj▓rner, D., (Dines), 1937-,Chaochen, Zhou,Formal methods (Computer science), Congresses,Real-time data processing, Congresses
رده :
QA
،
76
.
9
،.
F67
,
F525
،
2007
2. Formal methods and hybrid real-time systems
پدیدآورنده : / Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Bj�rner, D.--(Dines),--1937,Chaochen, Zhou.,Formal methods (Computer science)--Congresses,Real-time data processing--Congresses
رده :
QA
,
76
.
9
,.
F67
,
F525
,
2007
3. Theoretical aspects of computing
پدیدآورنده : / Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Electronic data processing--Congresses,Information theory--Congresses
رده :
QA
,
75
.
5
,.
I135
,
2007
